Distributed Nonblocking Supervisory Control of Timed Discrete-Event Systems with Communication Delays and Losses

This paper investigates the problem of distributed nonblocking supervisory control for timed discrete-event systems (DESs). The distributed supervisors communicate with each other over networks subject to nondeterministic communication delays and losses. Given that the delays are counted by time, techniques have been developed to model the dynamics of the communication channels. By incorporating the dynamics of the communication channels into the system model, we construct a communication automaton to model the interaction process between the supervisors. Based on the communication automaton, we define the observation mappings for the supervisors, which consider delays and losses occurring in the communication channels. Then, we derive the necessary and sufficient conditions for the existence of a set of supervisors for distributed nonblocking supervisory control. These conditions are expressed as network controllability, network joint observability, and system language closure. Finally, an example of intelligent manufacturing is provided to show the application of the proposed framework

TTˉT\bar{T}-deformed Entanglement Entropy for Integrable Quantum Field Theory

We calculate the $T\bar{T}$-deformed entanglement entropy for integrable quantum field theories (IQFTs) using the form factor bootstrap approach. We solve the form factor bootstrap axioms for the branch-point twist fields and obtain the deformed form factors. Using these form factors, we compute the deformed von Neuman entropy up to two particle contributions. We find that the UV behavior of the entanglement entropy is changed drastically. The divergence is no longer logarithmic, but also contain a power law divergence whose power is controlled by the deformed scaling dimension of the twist operator. The IR corrections, which only depends on the particle spectrum is untouched. This is consistent to the fact that $T\bar{T}$-deformation is irrelevant.Comment: 22 pages, 1 figur

Minimization of Sensor Activation in Discrete-Event Systems with Control Delays and Observation Delays

In discrete-event systems, to save sensor resources, the agent continuously adjusts sensor activation decisions according to a sensor activation policy based on the changing observations. However, new challenges arise for sensor activations in networked discrete-event systems, where observation delays and control delays exist between the sensor systems and the agent. In this paper, a new framework for activating sensors in networked discrete-event systems is established. In this framework, we construct a communication automaton that explicitly expresses the interaction process between the agent and the sensor systems over the observation channel and the control channel. Based on the communication automaton, we can define dynamic observations of a communicated string. To guarantee that a sensor activation policy is physically implementable and insensitive to random control delays and observation delays, we further introduce the definition of delay feasibility. We show that a delay feasible sensor activation policy can be used to dynamically activate sensors even if control delays and observation delays exist. A set of algorithms are developed to minimize sensor activations in a transition-based domain while ensuring a given specification condition is satisfied. A practical example is provided to show the application of the developed sensor activation methods. Finally, we briefly discuss how to extend the proposed framework to a decentralized sensing architecture

Spin-ss Rational QQ-system

Bethe ansatz equations for spin-$s$ Heisenberg spin chain with $s\ge1$ are significantly more difficult to analyze than the spin-$\tfrac{1}{2}$ case, due to the presence of repeated roots. As a result, it is challenging to derive extra conditions for the Bethe roots to be physical and study the related completeness problem. In this paper, we propose the rational $Q$-system for the XXX$_s$ spin chain. Solutions of the proposed $Q$-system give all and only physical solutions of the Bethe ansatz equations required by completeness. The rational $Q$-system is equivalent to the requirement that the solution and the corresponding dual solution of the $TQ$-relation are both polynomials, which we prove rigorously. Based on this analysis, we propose the extra conditions for solutions of the XXX$_s$ Bethe ansatz equations to be physical.Comment: 37 page

The normal-auxeticity mechanical phase transition in graphene

When a solid object is stretched, in general, it shrinks transversely. However, the abnormal ones are auxetic, which exhibit lateral expansion, or negative Poisson ratio. While graphene is a paradigm 2D material, surprisingly, graphene converts from normal to auxetic at certain strains. Here, we show via molecular dynamics simulations that the normal-auxeticity mechanical phase transition only occurs in uniaxial tension along the armchair direction or the nearest neighbor direction. Such a characteristic persists at temperatures up to 2400 K. Besides monolayer, bilayer and multi-layer graphene also possess such a normal-auxeticity transition. This unique property could extend the applications of graphene to new horizons

Gene therapy with tumor-specific promoter mediated suicide gene plus IL-12 gene enhanced tumor inhibition and prolonged host survival in a murine model of Lewis lung carcinoma

<p>Abstract</p> <p>Background</p> <p>Gene therapy is a promising therapeutic approach for cancer. Targeted expression of desired therapeutic proteins within the tumor is the best approach to reduce toxicity and improve survival. This study is to establish a more effective and less toxic gene therapy of cancer.</p> <p>Methods</p> <p>Combined gene therapy strategy with recombinant adenovirus expressing horseradish peroxidase (HRP) mediated by human telomerase reverse transcriptase (hTERT) promoter (AdhTERTHRP) and murine interleukin-12 (mIL-12) under the control of Cytomegalovirus (CMV) promoter (AdCMVmIL-12) was developed and evaluated against Lewis lung carcinoma (LLC) both <it>in vivo </it>and <it>in vitro</it>. The mechanism of action and systemic toxicities were also investigated.</p> <p>Results</p> <p>The combination of AdhTERTHRP/indole-3-acetic acid (IAA) treatment and AdCMVmIL-12 resulted in significant tumor growth inhibition and survival improvement compared with AdhTERTHRP/IAA alone (tumor volume, 427.4 ± 48.7 mm³<it>vs </it>581.9 ± 46.9 mm³, <it>p </it>= 0.005 on day 15; median overall survival (OS), 51 d <it>vs </it>33 d) or AdCMVmIL-12 alone (tumor volume, 362.2 ± 33.8 mm³<it>vs </it>494.4 ± 70.2 mm³, <it>p </it>= 0.046 on day 12; median OS, 51 d <it>vs </it>36 d). The combination treatment stimulated more CD4⁺and CD8⁺T lymphocyte infiltration in tumors, compared with either AdCMVmIL-12 alone (1.3-fold increase for CD4⁺T cells and 1.2-fold increase for CD8⁺T cells, <it>P </it>< 0.01) or AdhTERTHRP alone (2.1-fold increase for CD4⁺T cells and 2.2-fold increase for CD8⁺T cells, <it>P </it>< 0.01). The apoptotic cells in combination group were significantly increased in comparison with AdCMVmIL-12 alone group (2.8-fold increase, <it>P </it>< 0.01) or AdhTERTHRP alone group (1.6-fold increase, <it>P </it>< 0.01). No significant systematic toxicities were observed.</p> <p>Conclusions</p> <p>Combination gene therapy with AdhTERTHRP/IAA and AdCMVmIL-12 could significantly inhibit tumor growth and improve host survival in LLC model, without significant systemic adverse effects.</p

Microbially mediated mechanisms underlie soil carbon accrual by conservation agriculture under decade-long warming

Increasing soil organic carbon (SOC) in croplands by switching from conventional to conservation management may be hampered by stimulated microbial decomposition under warming. Here, we test the interactive effects of agricultural management and warming on SOC persistence and underlying microbial mechanisms in a decade-long controlled experiment on a wheat-maize cropping system. Warming increased SOC content and accelerated fungal community temporal turnover under conservation agriculture (no tillage, chopped crop residue), but not under conventional agriculture (annual tillage, crop residue removed). Microbial carbon use efficiency (CUE) and growth increased linearly over time, with stronger positive warming effects after 5 years under conservation agriculture. According to structural equation models, these increases arose from greater carbon inputs from the crops, which indirectly controlled microbial CUE via changes in fungal communities. As a result, fungal necromass increased from 28 to 53%, emerging as the strongest predictor of SOC content. Collectively, our results demonstrate how management and climatic factors can interact to alter microbial community composition, physiology and functions and, in turn, SOC formation and accrual in croplands.</p

A Survey on Service Route and Time Prediction in Instant Delivery: Taxonomy, Progress, and Prospects

Instant delivery services, such as food delivery and package delivery, have achieved explosive growth in recent years by providing customers with daily-life convenience. An emerging research area within these services is service Route\&Time Prediction (RTP), which aims to estimate the future service route as well as the arrival time of a given worker. As one of the most crucial tasks in those service platforms, RTP stands central to enhancing user satisfaction and trimming operational expenditures on these platforms. Despite a plethora of algorithms developed to date, there is no systematic, comprehensive survey to guide researchers in this domain. To fill this gap, our work presents the first comprehensive survey that methodically categorizes recent advances in service route and time prediction. We start by defining the RTP challenge and then delve into the metrics that are often employed. Following that, we scrutinize the existing RTP methodologies, presenting a novel taxonomy of them. We categorize these methods based on three criteria: (i) type of task, subdivided into only-route prediction, only-time prediction, and joint route\&time prediction; (ii) model architecture, which encompasses sequence-based and graph-based models; and (iii) learning paradigm, including Supervised Learning (SL) and Deep Reinforcement Learning (DRL). Conclusively, we highlight the limitations of current research and suggest prospective avenues. We believe that the taxonomy, progress, and prospects introduced in this paper can significantly promote the development of this field

Both FA- and mPEG-conjugated chitosan nanoparticles for targeted cellular uptake and enhanced tumor tissue distribution

Tianjin Key Laboratory of Biomedical Materials; Xiamen Science and Technology project [3502Z20114007]; Fujian Provincial Health Department [2009-2-79]Both folic acid (FA)- and methoxypoly(ethylene glycol) (mPEG)- conjugated chitosan nanoparticles (NPs) had been designed for targeted and prolong anticancer drug delivery system. The chitosan NPs were prepared with combination of ionic gelation and chemical cross-linking method, followed by conjugation with both FA and mPEG, respectively. FA-mPEG-NPs were compared with either NPs or mPEG-/FA-NPs in terms of their size, targeting cellular efficiency and tumor tissue distribution. The specificity of the mPEG-FA-NPs targeting cancerous cells was demonstrated by comparative intracellular uptake of NPs and mPEG-/FA-NPs by human adenocarcinoma HeLa cells. Mitomycin C (MMC), as a model drug, was loaded to the mPEG-FA-NPs. Results show that the chitosan NPs presented a narrow-size distribution with an average diameter about 200 nm regardless of the type of functional group. In addition, MMC was easily loaded to the mPEG-FA-NPs with drug-loading content of 9.1%, and the drug releases were biphasic with an initial burst release, followed by a subsequent slower release. Laser confocal scanning imaging proved that both mPEG-FA-NPs and FA-NPs could greatly enhance uptake by HeLa cells. In vivo animal experiments, using a nude mice xenograft model, demonstrated that an increased amount of mPEG-FA-NPs or FA-NPs were accumulated in the tumor tissue relative to the mPEG-NPs or NPs alone. These results suggest that both FA-and mPEG-conjugated chitosan NPs are potentially prolonged drug delivery system for tumor cell-selective targeting treatments